Gradual typing - PDFSEARCH.IO - Document Search Engine

Gradual typing
Results: 54

#	Item
41	Space-Efficient Gradual Typing David Herman Northeastern University Aaron Tomb, Cormac Flanagan University of California, Santa Cruz Add to Reading List Source URL: www.ccs.neu.edu - Date: 2007-10-16 08:19:04
42	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
43	Gradual Typing: Isabelle/Isar Formalization Jeremy Siek and Walid Taha April 7, 2006 theory GradualTyping = Main + LaTeXsugar + OptionalSugar : datatype base-ty Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-17 16:43:12
44	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Data types Procedural programming languages C++ Type safety Lambda calculus Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
45	Microsoft Word - gradual-typing.doc Add to Reading List Source URL: www.ecmascript.org Language: English - Date: 2007-11-29 12:33:53 Type theory Procedural programming languages Functional languages Duck typing Object-oriented programming D Type system C ATS Software engineering Computing Computer programming
46	Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1 and Robert Bruce Findler2 1 2 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Data types Functional programming Procedural programming languages Higher-order functions Type system ML Toro Rosso STR2 Immutable object Software engineering Computing Computer programming
47	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
48	STATIC ANALYSIS FOR RUBY IN THE PRESENCE OF GRADUAL TYPING MICHAEL JOSEPH EDGAR Department of Computer Science Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-12-23 16:46:44 Type theory Object-oriented programming Data types Type system Ruby Objective-C Dynamic dispatch Method Variable Software engineering Computing Computer programming
49	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Programming language theory Data types Object-oriented programming Formal methods Polymorphism Mixin Type safety Subtype polymorphism Type system Software engineering Computing Type theory
50	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-10-18 14:51:20 Type theory Data types Lambda calculus Procedural programming languages C++ Type safety Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory